package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsDDSliceBug3 extends TestCase {
	

	  public void test12() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer((-1));
	    java.lang.Integer var9 = new java.lang.Integer(10);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    com.domainlanguage.time.Duration var11 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var12 = new com.domainlanguage.time.TimeRate(var0, var11);
	    java.lang.Double var13 = new java.lang.Double(0.0d);
	    java.lang.Integer var14 = new java.lang.Integer(1);
	    java.lang.Integer var15 = new java.lang.Integer(0);
	    java.lang.Integer var16 = new java.lang.Integer(100);
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    java.lang.Integer var18 = new java.lang.Integer(0);
	    java.lang.Integer var19 = new java.lang.Integer(100);
	    java.lang.Integer var20 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var21 = com.domainlanguage.time.Duration.seconds((int)var14);
	    com.domainlanguage.time.TimeRate var22 = new com.domainlanguage.time.TimeRate(var13, var21);
	    java.lang.Double var23 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var24 = com.domainlanguage.money.Money.euros((double)var23);
	    java.lang.Integer var25 = new java.lang.Integer(0);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer(1);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var32 = var24.times((int)var31);
	    java.lang.Double var33 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var34 = com.domainlanguage.money.Money.euros((double)var33);
	    java.lang.Integer var35 = new java.lang.Integer(0);
	    java.lang.Integer var36 = new java.lang.Integer(100);
	    java.lang.Integer var37 = new java.lang.Integer(1);
	    java.lang.Integer var38 = new java.lang.Integer(1);
	    java.lang.Integer var39 = new java.lang.Integer(100);
	    java.lang.Integer var40 = new java.lang.Integer((-1));
	    java.lang.Integer var41 = new java.lang.Integer((-1));
	    java.lang.Integer var42 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var43 = var34.times((int)var42);
	    java.math.BigDecimal var44 = var43.breachEncapsulationOfAmount();
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var46 = com.domainlanguage.time.Duration.hours((int)var45);
	    com.domainlanguage.time.TimeRate var47 = new com.domainlanguage.time.TimeRate(var44, var46);
	    boolean var48 = var12.equals(var22);
	    
	    // Checks the contract:  equals-hashcode on var12 and var22
	    assertTrue("Contract failed: equals-hashcode on var12 and var22", var12.equals(var22) ? var12.hashCode() == var22.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var22 and var12
	    assertTrue("Contract failed: equals-hashcode on var22 and var12", var22.equals(var12) ? var22.hashCode() == var12.hashCode() : true);

	  }

	  public void test17() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer((-1));
	    java.lang.Integer var8 = new java.lang.Integer(10);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    java.lang.Integer var10 = new java.lang.Integer(100);
	    java.lang.Integer var11 = new java.lang.Integer(1);
	    java.lang.Integer var12 = new java.lang.Integer(1);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.lang.Integer var14 = new java.lang.Integer((-1));
	    com.domainlanguage.time.Duration var15 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var16 = new com.domainlanguage.time.TimeRate(var0, var15);
	    java.lang.Integer var17 = new java.lang.Integer(0);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    java.lang.Integer var19 = new java.lang.Integer(1);
	    java.lang.Integer var20 = new java.lang.Integer(1);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer((-1));
	    java.lang.Double var23 = new java.lang.Double(0.0d);
	    java.lang.Integer var24 = new java.lang.Integer(1);
	    java.lang.Integer var25 = new java.lang.Integer(0);
	    java.lang.Integer var26 = new java.lang.Integer(100);
	    java.lang.Integer var27 = new java.lang.Integer(1);
	    java.lang.Integer var28 = new java.lang.Integer(1);
	    java.lang.Integer var29 = new java.lang.Integer(100);
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    java.lang.Integer var31 = new java.lang.Integer((-1));
	    java.lang.Integer var32 = new java.lang.Integer(10);
	    java.lang.Integer var33 = new java.lang.Integer(0);
	    java.lang.Integer var34 = new java.lang.Integer(100);
	    java.lang.Integer var35 = new java.lang.Integer(1);
	    java.lang.Integer var36 = new java.lang.Integer(1);
	    java.lang.Integer var37 = new java.lang.Integer(100);
	    java.lang.Integer var38 = new java.lang.Integer((-1));
	    java.lang.Integer var39 = new java.lang.Integer((-1));
	    java.lang.Long var40 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var41 = com.domainlanguage.time.Duration.seconds((int)var24);
	    com.domainlanguage.time.TimeRate var42 = new com.domainlanguage.time.TimeRate(var23, var41);
	    java.lang.Integer var43 = new java.lang.Integer(0);
	    java.lang.Integer var44 = new java.lang.Integer(100);
	    java.lang.Integer var45 = new java.lang.Integer(1);
	    java.lang.Integer var46 = new java.lang.Integer(1);
	    java.lang.Integer var47 = new java.lang.Integer(100);
	    java.lang.Integer var48 = new java.lang.Integer((-1));
	    java.lang.Integer var49 = new java.lang.Integer((-1));
	    boolean var50 = var16.equals(var42);
	    
	    // Checks the contract:  equals-hashcode on var16 and var42
	    assertTrue("Contract failed: equals-hashcode on var16 and var42", var16.equals(var42) ? var16.hashCode() == var42.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var42 and var16
	    assertTrue("Contract failed: equals-hashcode on var42 and var16", var42.equals(var16) ? var42.hashCode() == var16.hashCode() : true);

	  }

	  public void test18() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer(10);
	    java.lang.Integer var8 = new java.lang.Integer(0);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    java.lang.Integer var10 = new java.lang.Integer(1);
	    java.lang.Integer var11 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var13 = new com.domainlanguage.time.TimeRate(var0, var12);
	    java.lang.Double var14 = new java.lang.Double(0.0d);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(0);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    java.lang.Integer var18 = new java.lang.Integer(1);
	    java.lang.Integer var19 = new java.lang.Integer(10);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Long var26 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var27 = com.domainlanguage.time.Duration.seconds((int)var15);
	    com.domainlanguage.time.TimeRate var28 = new com.domainlanguage.time.TimeRate(var14, var27);
	    java.lang.Integer var29 = new java.lang.Integer(0);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    java.lang.Integer var31 = new java.lang.Integer(1);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer((-1));
	    boolean var34 = var13.equals(var28);
	    
	    // Checks the contract:  equals-hashcode on var13 and var28
	    assertTrue("Contract failed: equals-hashcode on var13 and var28", var13.equals(var28) ? var13.hashCode() == var28.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var28 and var13
	    assertTrue("Contract failed: equals-hashcode on var28 and var13", var28.equals(var13) ? var28.hashCode() == var13.hashCode() : true);

	  }

	  public void test19() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    java.lang.Integer var3 = new java.lang.Integer(100);
	    java.lang.Integer var4 = new java.lang.Integer(1);
	    java.lang.Integer var5 = new java.lang.Integer(1);
	    java.lang.Integer var6 = new java.lang.Integer(100);
	    java.lang.Integer var7 = new java.lang.Integer(10);
	    java.lang.Integer var8 = new java.lang.Integer(0);
	    java.lang.Integer var9 = new java.lang.Integer(100);
	    java.lang.Integer var10 = new java.lang.Integer(1);
	    java.lang.Long var11 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var13 = new com.domainlanguage.time.TimeRate(var0, var12);
	    java.lang.Double var14 = new java.lang.Double(0.0d);
	    java.lang.Integer var15 = new java.lang.Integer(1);
	    java.lang.Integer var16 = new java.lang.Integer(0);
	    java.lang.Integer var17 = new java.lang.Integer(100);
	    java.lang.Integer var18 = new java.lang.Integer(1);
	    java.lang.Integer var19 = new java.lang.Integer(10);
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.Integer var21 = new java.lang.Integer(100);
	    java.lang.Integer var22 = new java.lang.Integer(1);
	    java.lang.Integer var23 = new java.lang.Integer(1);
	    java.lang.Integer var24 = new java.lang.Integer(100);
	    java.lang.Integer var25 = new java.lang.Integer((-1));
	    java.lang.Long var26 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var27 = com.domainlanguage.time.Duration.seconds((int)var15);
	    com.domainlanguage.time.TimeRate var28 = new com.domainlanguage.time.TimeRate(var14, var27);
	    java.lang.Integer var29 = new java.lang.Integer(0);
	    java.lang.Integer var30 = new java.lang.Integer(100);
	    java.lang.Integer var31 = new java.lang.Integer(1);
	    java.lang.Integer var32 = new java.lang.Integer(1);
	    java.lang.Integer var33 = new java.lang.Integer(100);
	    java.lang.Integer var34 = new java.lang.Integer((-1));
	    java.lang.Integer var35 = new java.lang.Integer((-1));
	    boolean var36 = var13.equals(var28);
	    
	    // Checks the contract:  equals-hashcode on var13 and var28
	    assertTrue("Contract failed: equals-hashcode on var13 and var28", var13.equals(var28) ? var13.hashCode() == var28.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var28 and var13
	    assertTrue("Contract failed: equals-hashcode on var28 and var13", var28.equals(var13) ? var28.hashCode() == var13.hashCode() : true);

	  }

	  
}
